1. Banach space theory
پدیدآورنده :
کتابخانه: Library of Urmia University of Technology (West Azarbaijan)
موضوع :
رده :
QA
,
322
.
2
,.
R47
,
2010
{
1648
},
d5395094d2d5d54de5e9d0cbe
2. Banach space theory :the basis for linear and nonlinear analysis
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Bnach space.
رده :
QA
322
.
2
.
B34
2011
3. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
4. Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
پدیدآورنده : edited by Samuel R. Buss, Petr Hajek, Pavel Pudlak
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
13
5. Logic Colloquium '98: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1
.
L64
1998
6. Mechanizing hypothesis formation
پدیدآورنده : / [by] P. Hajek, T. Havranek
کتابخانه: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
موضوع :
رده :
QA76
.
9
،.
A955
,
H34
1978
7. Metamathematics of fuzzy logic
پدیدآورنده : Hajek, Petr
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Fuzzy set,، Fuzzy logic
رده :
QA
248
.
H3
M3
8. The theory of semisets
پدیدآورنده : Vopenka, Petr.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Set theory
رده :
QA
248
.
V68
9. The theory of semisets
پدیدآورنده : Vopenka, Petr
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Set theory
رده :
QA
248
.
V68
1972b
10. The theory of semisets
پدیدآورنده : Vopeenka, Petr., ]By[ Petr Vopeenka and Petr Hajek
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Set theory
رده :
QA
248
.
V68
11. The theory of semisets
پدیدآورنده : Vopenka, Petr.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Set theory
رده :
QA
248
.
V68
1972b
